A modular integer GCD algorithm

This paper describes the first algorithm to compute the greatest common divisor (GCD) of two n-bit integers using a modular representation for intermediate values U, V and also for the result. It is based on a reduction step, similar to one used in the accelerated algorithm [T. Jebelean, A generalization of the binary GCD algorithm, in: ISSAC '93: International Symposium on Symbolic and Algebraic Computation, Kiev, Ukraine, 1993, pp. 111–116; K. Weber, The accelerated integer GCD algorithm, ACM Trans. Math. Softw. 21 (1995) 111–122] when U and V are close to the same size, that replaces U by (U−bV)/p, where p is one of the prime moduli and b is the unique integer in the interval (−p/2,p/2) such that . When the algorithm is executed on a bit common CRCW PRAM with O(nlognlogloglogn) processors, it takes O(n) time in the worst case. A heuristic model of the average case yields O(n/logn) time on the same number of processors.     

基于改进遗传算法的布局优化子问题

本针对子问题，构造了布局子问题(关于同构布局等价类)的改进遗传算法。将该算法应用于二维布局优化子问题，数值实验表明该算法能够在很好地保持图元的邻接关系的前提下找到子问题的最优解。由于布局优化问题可分解为有限个子问题，所以利用该算法可以找到整个布局优化问题的全局最优解。     

Observable signals of gauge-mediated supersymmetry breaking

The observable consequences of gauge-mediated supersymmetry breaking (GMSB) are reviewed here. Implications of scenarios both with a neutralino and a slepton as the next lightest supersymmetric particle (NLSP) are surveyed in relation to hadronic ande ⁺ e ^- colliders. We also discuss the phenomenological consequences of the NLSP decaying slowly, giving rise to delayed events in the detectors.The importance of distinguishing signals of GMSB models from those of the commonly discussed supergravity-type theories is emphasized.     

Decomposition Methods for Differentiable Optimization Problems over Cartesian Product Sets

This paper presents a unified analysis of decomposition algorithms for continuously differentiable optimization problems defined on Cartesian products of convex feasible sets. The decomposition algorithms are analyzed using the framework of cost approx imation algorithms. A convergence analysis is made for three decomposition algorithms: a sequential algorithm which extends the classical Gauss-Seidel scheme, a synchronized parallel algorithm which extends the Jacobi method, and a partially asynchronous parallel algorithm. The analysis validates inexact computations in both the subproblem and line search phases, and includes convergence rate results. The range of feasible step lengths within each algorithm is shown to have a direct correspondence to the increasing degree of parallelism and asynchronism, and the resulting usage of more outdated information in the algorithms.     

关于具有给定Sylow子群正规化子的有限群Ⅱ

本文在有限可解群中解决了：任意ｍ－秩≤２的子群闭的局部群系具有性质：“如果群Ｇ的非单位Ｓｙｌｏｗ子群的正规化子属于，则群Ｇ也属于的一个充分必要条件．     

广义集值强非线性拟变分不等式

本文引入并研究一类新的广义集值强非线性拟变分不等式,讨论这类广义集值强非线性拟变分不等式解的存在性以及由算法所构造的迭代序列的收敛性.我们的结果改进和发展了Noor,Siddiqi和Ansari等人近期的一些主要结果.     

Dérivée des petites valeurs propres des surfaces de Riemann

On estime la dérivée des petites valeurs propres du Laplacien sur une famille de surfaces de Riemann. Ces valeurs propres sont considérées comme des fonctions sur l'espace de Teichmüller, et l'estimation des dérivées peut s'exprimer dans ce contexte. Received: December 21, 1995     

神经网络法计算镉（Ⅱ）,羟基及碳酸根三元体系的形态分布

采用前馈线笥网络ＢＰ算法，计算了Ｃｄ６２＋－ＯＨ＾－ＣＯ＾２－３三元体系的累积稳定常数。用Ｈｏｐｆｉｅｌｄ反馈网络研究了体系中络合物的形态分布。溶液中溶解的ＣＯ２对ｌｇβ１的计算结果有重要影响，对ｌｇβ２，ｌｇβ３，ｌｇβ４的结果影响不大。     

The “Essential Tension” at Work in Qualitative Analysis: A Case Study of the Opposite Points of View of Poincaré and Enriques on the Relationships between Analysis and Geometry

An analysis of the different philosophic and scientific visions of Henri Poincaré and Federigo Enriques relative to qualitative analysis provides us with a complex and interesting image of the “essential tension” between “tradition” and “innovation” within the history of science. In accordance with his scientific paradigm, Poincaré viewed qualitative analysis as a means for preserving the nucleus of the classical reductionist program, even though it meant “bending the rules” somewhat. To Enriques's mind, qualitative analysis represented the affirmation of a synthetic, geometrical vision that would supplant the analytical/quantitative conception characteristic of 19th-century mathematics and mathematical physics. Here, we examine the two different answers given at the turn of the century to the question of the relationship between geometry and analysis and between mathematics, on the one hand, and mechanics and physics, on the other.Copyright 1998 Academic Press.Un'analisi delle diverse posizioni filosofiche e scientifiche di Henri Poincaré e Federigo Enriques nei riguardi dell'analisi qualitativa fornisce un'immagine complessa e interessante della “tensione essenziale” tra “tradizione” e “innovazione” nell'ambito della storia della scienza. In linea con il proprio paradigma scientifico, Poincaré vedeva nell'analisi qualitativa un mezzo per preservare il nucleo del programma riduzionista calssico, anche se cio comportava una lieve “distorsione delle regole”. Nella mente di Enriques, l'analisi qualitativa rappresentava l'affermazione di un punto di vista sintetico e geometrico che avrebbe soppiantato la concezione analitico-quantitativa caratteristica della matematica e della fisica matematica del 19° secolo. Il nostro scopo principale è di esaminare due diverse risposte date a cavallo del secolo alla questione dei rapporti tra geometria e analisi e tra matematica da un lato e meccanica e fisica dall'altro.Copyright 1998 Academic Press.AMS subject classification: 01A55     

Noise-assisted mound coarsening in epitaxial growth

Two types of mechanisms are proposed for mound coarsening during unstable epitaxial growth: stochastic, due to deposition noise, and deterministic, due to mass currents driven by surface energy differences. Both yield the relation H=(RWL)² between the typical mound height W, mound size L, and the film thickness H. An analysis of simulations and experimental data shows that the parameter R saturates to a value which discriminates sharply between stochastic () and deterministic () coarsening. We derive a scaling relation between the coarsening exponent 1/z and the mound-height exponent which, for a saturated mound slope, yields . Received: 11 November 1997 / Revised in final form: 28 November 1997 / Accepted: 28 November 1997